Template Argument

定义 Definition

在泛型编程（尤其是 C++）中，“template argument”指传递给模板形参的实际参数，用于生成具体的模板实例。它可以是类型（如 int）、非类型值（如 42）、或模板本身（模板模板参数）。除这一技术义项外，日常英语里 argument 还可表示“争论/论点”。

例句 Examples

You can pass int as a template argument.
你可以把 int 作为模板实参传进去。

In C++, a non-type template argument must be a compile-time constant, which affects how the compiler instantiates the template.
在 C++ 中，非类型模板实参必须是编译期常量，这会影响编译器如何实例化该模板。

发音 Pronunciation (IPA)

/ˈtɛmpleɪt ˈɑːrɡjəmənt/

词源 Etymology

Template 原指“模板/样板”，来自法语与中古英语中表示“模具、样板”的词形演变；在计算机领域中引申为“可复用的代码框架”。Argument 来自拉丁语词根，含“提出、证明、主张”之意；在编程语境里逐渐固定为“传入的参数/实参”。“template argument”作为术语主要随 C++ 模板机制（20 世纪末）普及而广泛使用。

相关词 Related Words

• Template
• Parameter
• Template Parameter
• Type Argument
• Non-type Template Parameter
• Instantiation
• Specialization
• Generic Programming

文献与作品 Literary Works

• The C++ Programming Language（Bjarne Stroustrup）——在模板章节中系统讨论模板参数与模板实参的关系。
• *Effective Modern C++*（Scott Meyers）——涉及模板推导、类型实参与相关规则时会使用该术语与概念。
• ISO/IEC 14882 (C++ Standard) ——标准文本中以规范方式描述模板参数（parameters）与模板实参（arguments）的匹配与约束。